
#ifndef __UT_CHAN_H_
#define __UT_CHAN_H_


static inline void utchan_send( umsg_t * pmsg ) {
    register umsg_t * xxx __asm("r0") = pmsg;
    __ASM volatile ( "SVC #4" : : "r"(xxx) : "memory" );
}

int utchan_init( void );


#endif

